Summary

Follow-up to the stapeln#17 maintenance pass. The non-blocking
container-stack-smoke canary (#38/#39) surfaced that cerro-torre's
full upstream Ada build never compiles to completion — the issue
explicitly scoped out of #17. This PR fixes the real root causes so the
image builds end-to-end.

Root cause(s) & fix

Reproduced locally with alr build on Ubuntu 24.04 (the exact
ada-builder base image), since the in-container docker build is
blocked here by environment network policy (see Blocker below).

1. proven pin → hard failure at manifest load. alire.toml pinned
   proven to ../proven/bindings/ada, a path that exists nowhere in
   the repo. alr build aborted immediately with
   Pin path is not a valid directory. proven is entirely unused — the
   with "proven" in cerro_torre.gpr and every with Proven.* in the
   sources are commented out. Disabled the dependency and removed the dead
   pin. (This is the specific "Ada/proven" failure the task described.)

2. Unused heavy crates → toolchain-incompatible builds.
   gnatcoll / ada_toml / json were declared in alire.toml but
   never with-ed by any source (the code uses the in-tree CT_JSON
   package). Resolving them dragged in libgpr/xmlada, which fail to
   compile against the build toolchain (gpr-*.adb: "time_t" undefined
   under external GNAT 14; NO_IMPLEMENTATION_EXTENSIONS violations in
   json_ada under Alire's GNAT 15). Disabled until actually consumed.

3. Genuine pre-existing source defects in the complete feature set
   (importer/exporter code that had never compiled):

   • String_Access ambiguity between GNAT.OS_Lib and the unit-level
     use Ada.Strings.Unbounded (cerro_cli.adb, cerro_export_oci.adb,
     cerro_import_debian.adb) — now qualified as GNAT.OS_Lib.String_Access.
   • To_String (M.Metadata.Version) applied to the Version record
     instead of …Version.Upstream (the convention already used elsewhere
     in the same file).
   • Bytes_To_Hex (M.Provenance.Upstream_Hash.Digest) applied to an
     already-hex Unbounded_String rather than a raw SHA256_Digest —
     replaced with To_String.
   • Unqualified aggregate in a Vectors.Append call — type-qualified as
     Dependency_Reference'(…).

4. Containerfile correctness:

   • The alr release zip lays the binary out as bin/alr, so the old
     unzip -d /usr/local/bin + chmod /usr/local/bin/alr would fail
     (No such file or directory). Now installs the located binary
     (layout-robust).
   • COPY tests/ tests/ — tests is a Source_Dir of cerro_torre.gpr
     for every Feature_Set (it holds the ct_test_* mains), so the
     project does not build without it.
   • alr -n build so the toolchain is auto-provisioned without blocking
     on stdin in a non-TTY build.

Verification

alr build in a clean context mirroring the Containerfile's COPY set
(alire.toml, cerro_torre.gpr, src/, tests/; no system gnat, so
Alire auto-selects+downloads gnat_native/gprbuild exactly as the
container would) now succeeds end-to-end and produces a working ct:

Success: Build finished successfully.
$ ./bin/ct --version
Cerro Torre 0.1.0-alpha

Blocker (environment, not code)

The full in-container docker build could not be demonstrated in
this environment due to network-policy constraints (not Containerfile
defects):

• cgr.dev/chainguard/wolfi-base (runtime stage) → 403 Forbidden.
• docker.io/library/ubuntu:24.04 → intermittent 429 unauthenticated
  pull-rate limit.
• Inside a fresh container, curl https://github.com/... fails with
  self-signed certificate in certificate chain: the egress TLS-inspecting
  proxy's root CA is trusted on the host but not in the container image. Per
  instructions this was reported rather than worked around (no curl -k /
  CA injection).

The Ada/proven root cause itself is fully fixed and verified via the
host reproduction on the identical Ubuntu 24.04 base.

Test plan

• container-stack-smoke canary builds cerro-torre/Containerfile
  with docker + podman in CI (where the registry/proxy constraints
  above do not apply).
• ct --version runs in the resulting image.

https://claude.ai/code/session_01744NnsooPgw5S6JK11fAaw

Generated by Claude Code